网络侵权行为的认定与分析

文章以案例形式分析了网络侵权行为,介绍了《侵权责任法》第36条第2款规定的＂提示规则＂以及第3款规定的＂知道规则＂。文章进一步通过分析＂提示规则＂以及＂知道规则＂,从法理上厘清了争议焦点—网络服务提供商是否＂知道＂或者说＂应当知道＂其行为存在或构成侵权行为。     

Piecewise output feedback control for affine systems with disturbances based on linear temporal logic specifications

In the paper,we investigate the problem of finding a piecewise output feedback control law for an uncertain affine system such that the resulting closed-loop output satisfies a desired linear temporal logic (LTL) specification.A two-level hierarchical approach is proposed to solve the problem in a triangularized output space.In the lower level,we explore whether there exists a robust output feedback control law to make the output starting in a simplex either remains in it or leaves via a specific facet.In the higher level,for the triangularization,we construct the transition system according to the reachability relationship obtained in the lower level and search for feasible paths that meet the LTL specification.The control approach is then applied to solve a motion planning problem.     

基于不确定时态信息的索引技术

索引技术是时态数据库查询优化的重要方法之一。分析了时态数据库中的不确定时态信息以及基于不确定时态信息的索引技术,并详细讨论了能处理时间变元的改进的4R-tree索引技术的建立过程。     

基于可重构系统的时域划分技术的研究

可重构计算是一种介于ASIC和通用微处理器之间的新的提升计算机性能的方法,对于数字信号处理、流媒体技术、图像压缩、密码学、生物信息处理等计算密集型方面的应用,可重构计算技术可以发挥巨大的优势。基于具有较少重构时间的实时可编程逻辑器件(如FPGA)的用户可编程性,其可作为多种硬件资源使用。如果其配置信息可以迅速更改,则由逻辑器件实现的硬件功能也可实现迅速切换。硬件资源的大小是有限的,那些超过器件有效硬件资源的较大任务需要通过时域划分来解决。该文对可重构计算以及时域划分的定义、分类,国内外研究现状和常见的研究方法做了详细的描述,并综合分析了一系列时域划分算法并进行了相关比较。     

Apriori算法在雷达故障诊断系统中的应用研究

针对某型雷达设备复杂、检修困难的问题,利用Apriori算法从该型雷达历史维修记录中提取故障征兆和故障间的关联关系,设计建立故障诊断系统。重点介绍了规则挖掘机和系统逻辑结构。使用表明该系统较好的提高了雷达故障诊断的效率,节约了诊断成本。     

含时间参量的传感器网络修正感知模型

目标与传感器之间的距离对传感器感知能力具有重要影响,但现有研究仅考虑以距离作为参量建立量化传感器感知能力的模型,而忽略了时间因素的影响。为此,引入时间参量建立修正的传感器感知模型。实验结果表明,与已有的感知模型相比,该模型能更真实地模拟传感器对目标的感知行为,量化传感器对运动目标的感知能力。     

基于CB+-tree的时态XML索引

针对时态查询与时间属性紧密相关的特点,利用时间区间作为改进后B+-tree的索引关键字建立索引,改进后的B+-tree命名为Changing B+-tree(CB+-tree)。实验证明,在CB+-tree上进行时态查询比B+-tree及基于DOM的XML文档的查询效率有所提高。     

行为时态逻辑TLA定理系统证明及公平性研究

行为时态逻辑TLA(temporal logic of actions)能够在一种语言中同时表达模型程序与逻辑规则,是目前模型检测技术中一个较新的研究方向.为了理解行为时态逻辑与传统时态逻辑之间的理论联系,研究了时态逻辑的语义和定理系统,并根据行为时态逻辑TLA的自身特征指出了TLA中的行为属于时态逻辑T4系统.在此基础上严格的证明了TIA的定理系统及TLA中强公平性蕴涵弱公平性的重要性质,讨论了强公平性与弱公平性等价的条件.最后以实例说明了如何确定动作的强弱公平性,进而建立系统的TLA模型.     

Note on “The induced continuous ordered weighted geometric operators and their application in group decision making”

In this short communication, we will show that the condition of the theorem does not hold in general cases in a recent paper “The induced continuous ordered weighted geometric operators and their application in group decision making” [Computers & Industrial Engineering 56 (2009) 1545–1552] by Wu et al., and also illustrate an example to show that we cannot construct a consistent interval multiplicative preference relation according to the condition of theorem in general case. Furthermore, we present a more reasonable condition to satisfy Theorem 1 so that we can construct a consistent interval multiplicative preference relation.     

有时态本体模型及其管理原型系统

为使本体能够方便地表达、处理与时间相关的信息,将有效时间概念引入本体模型,介绍有时态本体模型定义及相关定理,在此基础上,实现有时态本体管理原型系统,并将该原型系统应用于存在时态冲突的信息集成系统中进行实验。实验结果证明了将本体用有效时间进行扩展,从而形成有时态本体模型,并对其进行存储管理的必要性,同时也显示了该原型系统对时态查询的支持能力。